program proof

доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

• электросвязь, основные понятия

EN

• program correctness proof

hicieron una demostración del funcionamiento — they gave a demonstration of how it worked

demostración comercial — commercial exhibition, trade exhibition

hacer un nuevo borrador — to do a redraft

lo hice en borrador — I did a rough draft

lo hice en borrador — I did a rough draft

¡evidente! — naturally!, obviously!

¿cuántos números has acertado esta semana? — how many numbers did you get this week?

a ver si aciertas lo que traigo — see if you can guess what I've brought you

rara vez aciertan — they rarely hit their targets

la bala le acertó de lleno en el corazón — the bullet hit him right in the heart

disparó a matar pero no acertó — he shot to kill but he missed

¡has acertado! — you got it right!

aciertan cuando dicen que la corrupción no tiene solución — they're right when they say that there's no solution to corruption

acertó al quedarse callado — he did the right thing keeping quiet, he was right to keep quiet

habéis acertado con el regalo — you made just the right choice with that present

• acertar a hacer algo — (=conseguir) to manage to do sth; [casualmente] to happen to do sth

acerté a encontrar la salida — I managed to find the exit

no acerté a expresarme con claridad — I didn't manage to express myself clearly

los médicos no aciertan a dar con lo que tiene — the doctors can't find out what's wrong with him

no acierto a comprenderlo — I fail to understand it

acertamos a pasar por delante de su casa — we happened to pass by his house

• acertar con — (=encontrar) to manage to find

acerté con el interruptor — I managed to find the switch

tras mucho pensarlo acertamos con la solución — after a lot of thought we managed to find the solution

a ver si aciertas quién es — see if you can guess who it is

acertarle a algo — to hit something

acertó en el medio — he hit it (right) in the middle

tiró pero no le acertó — he shot at it but (he) missed

acertaste al no comprarlo — you did the right thing not buying it

acertaste con el regalo — your present was perfect

no acerté con la casa — I couldn't find the house

acertar a + inf — to manage to + inf

no acertó a decir palabra — she didn't manage to say a single word

no acierto a comprenderlo — I just can't understand it

acertar a + inf — to happen to + inf

acertó a pasar por allí — he happened to pass that way

a ver si aciertas quién es — see if you can guess who it is

acertarle a algo — to hit something

acertó en el medio — he hit it (right) in the middle

tiró pero no le acertó — he shot at it but (he) missed

acertaste al no comprarlo — you did the right thing not buying it

acertaste con el regalo — your present was perfect

no acerté con la casa — I couldn't find the house

acertar a + inf — to manage to + inf

no acertó a decir palabra — she didn't manage to say a single word

no acierto a comprenderlo — I just can't understand it

acertar a + inf — to happen to + inf

acertó a pasar por allí — he happened to pass that way

ya sabe decir varias palabras — she can already say several words, she already knows several words

- tengo prisa -dijo — "I'm in a hurry," she said

olvídalo, no he dicho nada — forget I said anything

¿decía usted? — you were saying?

como decía mi abuela — as my grandmother used to say

como iba diciendo... — as I was saying...

¿cómo ha dicho usted? — pardon?, what did you say?

mi amigo dice que eres muy guapa — my friend says (that) you're very pretty

dicen que... — they say (that)..., people say (that)...

el cartel dice claramente que... — the sign says clearly {o} clearly states that...

decir que sí/no — to say yes/no

-¿viene? -dice que sí — "is she coming?" - "she says she is {o} she says so"

la miré y me dijo que sí/no con la cabeza — I looked at her and she nodded/shook her head

¿quién te lo dijo? — who told you?

se lo dije bien claro, pero no me hizo caso — I told her quite clearly, but she didn't take any notice of me

tengo algo que decirte — there's something I want to tell you, I've got something to tell you

hoy nos dicen las notas — they're telling {o} giving us our results today

me dijo que no vendría — he told me (that) he wouldn't come

ya te dije que no tiene ni idea — I told you he hasn't got a clue

¿no te digo que no puedo ir? — I've already told you I can't go

la profesora me dijo que esperara fuera — the teacher told me to wait outside

le dije que fuera más tarde — I told her to go later

dile que venga a cenar mañana con nosotros — ask him to come and have supper with us tomorrow

te digo que te calles — I said shut up

decir tonterías — to talk nonsense

¿cómo le dicen a esto en Perú? — what do they call this in Peru?

se llama Francisco, pero le dicen Paco — his name is Francisco, but he's known as Paco

le dicen "el torero" — he's known as "el torero"

en México se le dice "recámara" al dormitorio — in Mexico they say "recámara" instead of "dormitorio"

podemos ir a Portugal, ¿tú qué dices? — we could go to Portugal, what do you say?

¿tu familia qué dice de la boda? — what does your family say about the wedding?

había 8, digo 9 — there were 8, I mean 9

dirá usted aquel otro — you must mean that other one

¡qué digo! — what am I saying?

no puedo leer lo que dice — I can't read what it says

no me dice nada este libro — this book leaves me cold

mis súbditos se presentarán ante mí ¡he dicho! — my subjects shall appear before me: I have spoken!

aunque no es el director es, como quien dice, el que manda en la empresa — although he isn't the manager, he's the person in charge, so to speak, of the company

está, como quien dice, aquí al lado — it's just round the corner, as they say

como quien no dice nada — quite casually, as though it wasn't important

- gracias por todo -lo mismo digo — "thank you for everything" - "likewise!" {o} "thanks to you too!"

deberías buscar trabajo, vamos, digo yo — you ought to look for a job, that's what I say, if you ask me, you ought to look for a job

¡si te lo digo yo! — of course it's true!

¡lo digo yo y basta! — you will do it because I say so!

mi prima, es decir, la hija de Ana — my cousin, that is (to say) Ana's daughter

¿qué quiere decir "spatha"? — what does "spatha" mean?

¿qué quiere usted decir con eso? — what do you mean by that?

¿querrás decir un millón, no un billón? — do you mean a million rather than a billion?

les ha costado más cara que mi casa, y eso ya es decir — it cost them more than my house did, and that's saying something

no es que yo lo diga, pero... — it's not because I say so, but...

es, digamos, un comerciante — he's a dealer, for want of a better word, he's a sort of dealer

¡haberlo dicho!, ¡me lo hubieras dicho! — you could have told me {o} said!

y su madre, no digamos — not to mention his mother

no estuvo muy cortés, que digamos — he wasn't what you'd call polite, he wasn't exactly polite

¿cómo (lo) diría yo? — how shall I put it?

¿cómo diríamos? — how shall I put it?

¡quién lo diría! — would you believe it!, who would have thought it!

pero no quiso por el qué dirán — but she didn't want to because of what people might say

se preocupa mucho por el qué dirán — she's always worried about what people will say {o} think

-¿te puedo pedir un favor? -dime — "can I ask you a favour?" - "go ahead"

-¿te gustaría cambiar de coche? -¡hombre, ya me dirás! — "would you like a new car?" - "you bet I would!"

su nombre no me dice nada — her name doesn't mean anything to me

su mirada lo dice todo — her expression says it all {o} speaks volumes

una situación que tan mal dice de nuestro gobierno — a situation which shows our government in such a bad light

¿cientos de personas? - bueno, es un decir — hundreds of people? - well, figuratively speaking

ya dice `mamá' — he says `mama' now

no digas esas cosas, por favor — please don't say things like that

no digas estupideces — don't talk nonsense!

¿cómo pudiste decir eso? — how could you say that?

¿eso lo dices por mí? — are you referring to me?

no lo dirás en serio! — you can't be serious!

dijo que sí con la cabeza — he nodded

no se dice `andé', se dice `anduve' — it isn't `andé', it's `anduve'

eso no se dice! — you mustn't say that!

¿cómo se dice `amor' en ruso? — how do you say `love' in Russian?

bonita, lo que se dice bonita, no es — she's not what you would call pretty

es el sábado; ni que decir tiene que estás invitado — it's on Saturday; you're invited, but that goes without saying

haberlo dicho antes — why didn't you say so before?

¿tendrá tiempo de hacerlo? - dice que sí — will he have time to do it? - he says he will

¿no lo encontró? - dice que no — didn't he find it? - no, he says he didn't

digan lo que digan — whatever people say

decirle algo a alguien — to tell somebody something

eso no es lo que me dijo a mí — that's not what he told me

¿sabes qué me dijo? — do you know what he told me?; (expresando sorpresa, indignación, etc) do you know what he said to me?

se lo voy a decir a papá — I'm going to tell Dad

hoy nos dicen el resultado — they're going to give us the result today

Andrés me dijo lo de tu hermano — Andrés told me about your brother

a mí me lo vas a decir! — you're telling me!

ya te lo decía yo! — I told you so!

fue algo espantoso, todo lo que te diga es poco — it was terrible, I can't begin to tell you how terrible

no me digas que no es precioso! — isn't it beautiful?

dime con quién andas y te diré quién eres — you can judge a man by the company he keeps

porque lo digo yo! — because I say so!

harás lo que yo diga — you'll do as I say

papá dice que vayas — Dad wants you

dice que llames cuando llegues — she says (you are) to phone when you get there

dijo que tuviéramos cuidado — she said to be careful

decirle a alguien que + subj — to tell somebody to + inf

diles que empiecen — tell them to start

le dije que no lo hiciera — I told him not to do it

decir adiós — to say goodbye

decirle adiós a alguien — to say goodbye to somebody

di adiós a tu vida de estudiante — you'd better say goodbye to your student days

¿qué dice aquí? — what does it say here?

el diario no dice nada sobre el asunto — there's nothing in the paper about it

se llama Rosario pero le dicen Charo — her name is Rosario but people call her Charo

la forma de vestir dice mucho de una persona — the way someone dresses says a lot/tells you a lot about them

el tiempo lo dirá — time will tell

algo me decía que no iba a ser fácil — something told me it wasn't going to be easy

¿te dice algo ese nombre? — does that name mean anything to you?

decir misa — to say mass

querer decir — to mean

¿qué quiere decir esta palabra? — what does this word mean?

¿qué quieres decir con eso? — what do you mean by that?

¿quieres decir que ya no te interesa? — do you mean (to say) that you're no longer interested?

¿y los padres qué dicen? — what do her parents think of it?, how do her parents feel about it?

habría que regalarle algo, no sé, digo yo — we ought to buy her a present, well, I think so anyway

es muy fácil - si tú lo dices... — it's very easy - if you say so...

a decir verdad — to tell you the truth, to be honest

como quien dice — so to speak

papá - dime, hijo — dad - yes, son?

quería pedirle un favor - usted dirá — I wanted to ask you a favor - certainly, go ahead

se decían secretos al oído — they were whispering secrets to each other

se dijeron de todo — they called each other every name under the sun

yo sé lo que me digo — I know what I'm talking about

tú te lo dices todo — you seem to have all the answers

¿cientos de personas? - bueno, es un decir — hundreds of people? - well, figuratively speaking

ya dice `mamá' — he says `mama' now

no digas esas cosas, por favor — please don't say things like that

no digas estupideces — don't talk nonsense!

¿cómo pudiste decir eso? — how could you say that?

¿eso lo dices por mí? — are you referring to me?

no lo dirás en serio! — you can't be serious!

dijo que sí con la cabeza — he nodded

no se dice `andé', se dice `anduve' — it isn't `andé', it's `anduve'

eso no se dice! — you mustn't say that!

¿cómo se dice `amor' en ruso? — how do you say `love' in Russian?

bonita, lo que se dice bonita, no es — she's not what you would call pretty

es el sábado; ni que decir tiene que estás invitado — it's on Saturday; you're invited, but that goes without saying

haberlo dicho antes — why didn't you say so before?

¿tendrá tiempo de hacerlo? - dice que sí — will he have time to do it? - he says he will

¿no lo encontró? - dice que no — didn't he find it? - no, he says he didn't

digan lo que digan — whatever people say

decirle algo a alguien — to tell somebody something

eso no es lo que me dijo a mí — that's not what he told me

¿sabes qué me dijo? — do you know what he told me?; (expresando sorpresa, indignación, etc) do you know what he said to me?

se lo voy a decir a papá — I'm going to tell Dad

hoy nos dicen el resultado — they're going to give us the result today

Andrés me dijo lo de tu hermano — Andrés told me about your brother

a mí me lo vas a decir! — you're telling me!

ya te lo decía yo! — I told you so!

fue algo espantoso, todo lo que te diga es poco — it was terrible, I can't begin to tell you how terrible

no me digas que no es precioso! — isn't it beautiful?

dime con quién andas y te diré quién eres — you can judge a man by the company he keeps

porque lo digo yo! — because I say so!

harás lo que yo diga — you'll do as I say

papá dice que vayas — Dad wants you

dice que llames cuando llegues — she says (you are) to phone when you get there

dijo que tuviéramos cuidado — she said to be careful

decirle a alguien que + subj — to tell somebody to + inf

diles que empiecen — tell them to start

le dije que no lo hiciera — I told him not to do it

decir adiós — to say goodbye

decirle adiós a alguien — to say goodbye to somebody

di adiós a tu vida de estudiante — you'd better say goodbye to your student days

¿qué dice aquí? — what does it say here?

el diario no dice nada sobre el asunto — there's nothing in the paper about it

se llama Rosario pero le dicen Charo — her name is Rosario but people call her Charo

la forma de vestir dice mucho de una persona — the way someone dresses says a lot/tells you a lot about them

el tiempo lo dirá — time will tell

algo me decía que no iba a ser fácil — something told me it wasn't going to be easy

¿te dice algo ese nombre? — does that name mean anything to you?

decir misa — to say mass

querer decir — to mean

¿qué quiere decir esta palabra? — what does this word mean?

¿qué quieres decir con eso? — what do you mean by that?

¿quieres decir que ya no te interesa? — do you mean (to say) that you're no longer interested?

¿y los padres qué dicen? — what do her parents think of it?, how do her parents feel about it?

habría que regalarle algo, no sé, digo yo — we ought to buy her a present, well, I think so anyway

es muy fácil - si tú lo dices... — it's very easy - if you say so...

a decir verdad — to tell you the truth, to be honest

como quien dice — so to speak

papá - dime, hijo — dad - yes, son?

quería pedirle un favor - usted dirá — I wanted to ask you a favor - certainly, go ahead

se decían secretos al oído — they were whispering secrets to each other

se dijeron de todo — they called each other every name under the sun

yo sé lo que me digo — I know what I'm talking about

tú te lo dices todo — you seem to have all the answers